Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems
نویسندگان
چکیده
Evaluation Goal: Evaluate FIP, which implements the Basic algorithm together with our two extensions, on problem instances from 4 domains in the IPC2008 FOND track Blocksworld, faults, first-responders, forest Compared against two state-of-the-art planners: Gamer & MBP Results and Discussion FIP has a better problem coverage than Gamer & MBP [Table 1] Gamer & MBP cannot solve more than 10 problems in Blocksworld FIP can solve all problems efficiently (cutoff time 1,200 seconds) FIP outperforms other planners w.r.t. CPU time t (expressed in seconds) and solution size s (expressed in the number of states in the solution policy) [Table 2] Simple and Fast Strong Cyclic Planning for FullyObservable Nondeterministic Planning Problems
منابع مشابه
Stubborn Sets for Fully Observable Nondeterministic Planning
The stubborn set method is a state-space reduction technique, originally introduced in model checking and then transfered to classical planning. It was shown that stubborn sets significantly improve the performance of optimal deterministic planners by considering only a subset of applicable operators in a state. Fully observable nondeterministic planning (FOND) extends the formalism of classica...
متن کاملUsing Classical Planners to Solve Nondeterministic Planning Problems
Researchers have developed a huge number of algorithms to solve classical planning problems. We provide a way to use these algorithms, unmodified, to generate strong-cyclic solutions in fully-observable nondeterministic planning domains. Our experiments show that when using our technique with FF and SGPlan (two well-known classical planners), its performance compares quite favorably to that of ...
متن کاملFair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners
We consider the problem of planning in environments where the state is fully observable, actions have non-deterministic effects, and plans must generate infinite state trajectories for achieving a large class of LTL goals. More formally, we focus on the control synthesis problem under the assumption that the LTL formula to be realized can be mapped into a deterministic Büchi automaton. We show ...
متن کاملStrong-Cyclic Planning when Fairness is Not a Valid Assumption
We address the class of fully-observable nondeterministic (FOND) planning problems where non-deterministic actions are not guaranteed to display fair behaviour. Typical solutions to FOND planning problems either guarantee goal reachability with a bounded number of transitions (so-called strong acyclic solutions), or are predicated on a fairness assumption that presumes each action effect occurs...
متن کاملPattern Database Heuristics for Fully Observable Nondeterministic Planning
When planning in an uncertain environment, one is often interested in finding a contingent plan that prescribes appropriate actions for all possible states that may be encountered during the execution of the plan. We consider the problem of finding strong cyclic plans for fully observable nondeterministic (FOND) planning problems. The algorithm we choose is LAO*, an informed explicit state sear...
متن کامل